WCO, ACD and QR of DPs

In this paper I point out a hitherto unnoticed interaction between weak crossover (WCO) and antecedent-contained deletion (ACD) that provides another piece of evidence for an LF A-bar movement account of ACD, and against the A-movement account proposed in Hornstein 1994, adding to the case against Hornstein made in Kennedy 1997. Interestingly, the key piece of evidence, an ACD construction within a definite DP, implies that a quantificational type must be optionally available for definite DPs, but is only exploited when necessary to repair ACD violations.